Curry, Haskell Brooks

2: Combinatory logic

Amsterdam ; London : North-Holland, 1972

Abstract/Sommario: Addenda to pure combinatory logic - Foundations of the illative theory - Combinatory arithmetic - The theory of functionality - The theory of restricted generality - The theory of universal generality - Combinatory type theory.

Dettagli

Campo	Valore
Descrizione	2: Combinatory logic / Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin. - Amsterdam ; London : North-Holland, 1972. - XIV, 520 p. ; 23 cm. - (Studies in logic and the foundations of mathematics ; 65)
Collezione	[Fa parte di] Studies in logic and the foundations of mathematics ; 65 [Vai al dettaglio]
Altri legami	[Fa parte di] Combinatory logic / Haskell B. Curry, Robert Feys ; with two sections by William Craig ; 2
Numeri	ISBN: 0720422086
Autori	Curry, Haskell Brooks - [Responsabilità principale] Hindley, James Roger - [Responsabilità alternativa] Seldin, Jonathan P. - [Responsabilità alternativa]
Chiavi	Logica Matematica
Luogo di pubblicazione	Amsterdam - [Luogo di pubblicazione] London - [Luogo di pubblicazione]
Editore	North-Holland - [Editore]
Categorie	Categorie _MONOGRAFIE - LC (Libri dal 1840 fino agli anni '70)
Paese	Paesi Bassi
Lingua	Inglese
ID scheda	44940